102,95 €
114,39 €
-10% with code: EXTRA
The Calculus of Computation
102,95 € 
- We will send in 10–14 business days.
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
114.39
/https://libri-media.knygos-static.lt/7951cf98-7158-4b07-b708-ee242688a8f2/1)
- Author: Aaron R. Bradley, Zohar Manna
- Publisher: Springer-Verlag GmbH
- Year: 2007
- ISBN-10: 3540741127
- ISBN-13: 9783540741121
- Format: 15.9 x 24.1 x 3 cm, kieti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
EXTRA 10 % discount with code: EXTRA
102,95 €
114,39 €
We will send in 10–14 business days.
The promotion ends in 22d.12:18:02
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Aaron R. Bradley, Zohar Manna
- Publisher: Springer-Verlag GmbH
- Year: 2007
- ISBN-10: 3540741127
- ISBN-13: 9783540741121
- Format: 15.9 x 24.1 x 3 cm, kieti viršeliai
- Language: English English
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
Reviews